function jumpWork(){
    var jump = document.getElementById('jump');
    jump.src = './managework.html';
}
function jumpStudent(){
    var jump = document.getElementById('jump');
    jump.src = './managestudent.html';
}
function jumpcatch(){
    var jump = document.getElementById('jump');
    jump.src = './managecatch.html';
}